1. Decision procedures : an algorithmic point of view

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical

رده :
QA
279
.
4
.
K76D4
2016